(0 16 12)(1 15 3)(2 7 4)(5 17 10)(6 11 8)(9 14 13)
ALLOWS (11/8)-SEQUENCE
1: (5 7 10)
(0 16 12)(1 15 3)(2 7 17 10 4)(5)(6 11 8)(9 14 13)
2: (2 7 17)
(0 16 12)(1 15 3)(2 10 4)(5)(6 11 8)(7)(9 14 13)(17)
3: (1 15 3)
(0 16 12)(1)(2 10 4)(3)(5)(6 11 8)(7)(9 14 13)(15)(17)
4: (2 10 4)
(0 16 12)(1)(2)(3)(4)(5)(6 11 8)(7)(9 14 13)(10)(15)(17)